An On - line Problem

Preface The RTA list of open problems was created in 1991 by Jean-Pierre Jouannaud, Jan Willem Klop, and the rst author 21] on the occasion of the Fourth International Conference on Rewriting Techniques and Applications (RTA). Updated lists have since been published at RTA '93 22] and RTA '95 23]. Bending to these electronic times, we have recently placed a combined list on the worldwide web at The RTA list seeks to summarize open problems and subsequent solutions in elds of interest to this conference. For the current proceedings, the main subjects were We continue to solicit electronic contributions of new problems, progress reports, solutions, and comments. These should be mailed electronically to here), and many others have seen progress. Thus, the lists have indeed helped promote and focus research in rewriting. In this report, we provide a brief update on problems about which we know of signiicant progress since the appearance of 23].